\subsection{Casos de prueba}

\begin{frame}{Enfoque}
\tableofcontents[currentsection]
\end{frame}

\begin{frame}
\frametitle{Casos de prueba}

\begin{itemize}
 \item Comprueban el correcto funcionamiento de componentes software.
 \pause
 
 \item \emph{White-Box Testing} o modelo de caja blanca. Conocimiento de la lógica y estructura del código del programa.
 \pause
 
\end{itemize}

\begin{block}{Definición}
 Un \alert{caso de prueba positivo} es una instancia de base de datos para la cual una determinada consulta devuelve una 
 respuesta no vacía.
\end{block}
\pause

\begin{center}
 {\large 
 ¿Cómo se obtienen?
 }
\end{center}

\end{frame}

\subsection{Restricciones}
\begin{frame}
 \frametitle{Restricciones}
 
\begin{itemize}
 \item Simplificación del problema de obtener casos de prueba a un problema de \emph{resolución de restricciones}.
\end{itemize}
\pause

\begin{block}{Programación con restricciones}
 Paradigma de programación que utiliza condiciones y relaciones entre variables simbólicas que acotan los posibles valores
 que pueden tomar.
\end{block}
\pause

\begin{block}{Restricción}
 Fórmula de la lógica de primer orden que representa esas condiciones y relaciones, cuyas variables tienen un dominio predefinido.
\end{block}
\pause

\begin{itemize}
 \item Sentencias de definición de base de datos $\rightarrow$ restricciones.
 \pause
 \item Su resolución conforman casos de prueba.
\end{itemize}

\end{frame}



